Predicate logic - PDFSEARCH.IO - Document Search Engine

Predicate logic
Results: 1102

#	Item
551	THE JOURNAL OF CHEMICAL PHYSICS 125, 059901 共2006兲 Erratum: “The aromatic fluctuation index „FLU…: A new aromaticity index based on electron delocalization” †J. Chem Phys. 122, 014109 „2005…‡ Eduard Add to Reading List Source URL: dugi-doc.udg.edu Language: English - Date: 2013-05-13 07:00:08 Mereology Predicate logic M8
552	7 Pattern Matcher Program file for this chapter: match Add to Reading List Source URL: www.eecs.berkeley.edu Language: English - Date: 2003-12-25 21:09:56 Software engineering Predicate logic Formal languages Pattern matching Predicate Logo Quantification AWK Semantics Logic Linguistics
553	PDF Document Add to Reading List Source URL: media.wiley.com Language: English - Date: 2007-10-05 17:44:52 Non-classical logic Predicate logic Philosophical logic First-order logic Propositional calculus Paraconsistent logic Interpretation Modal logic Negation Logic Mathematical logic Semantics
554	PDF Document Add to Reading List Source URL: media.wiley.com Language: English - Date: 2011-09-26 07:12:08 Non-classical logic Predicate logic Philosophical logic First-order logic Propositional calculus Paraconsistent logic Interpretation Modal logic Negation Logic Mathematical logic Semantics
555	Automatic Mutual Exclusion and Atomicity Checks Mart´ın Abadi1,2 1 2 Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2009-07-21 20:04:04 Predicate logic Models of computation Formal methods Computability theory Lambda calculus Theoretical computer science Mereology Modal logic Free variables and bound variables Logic Mathematics Mathematical logic
556	1 Semantic Necessity In the recent monograph, ‘Semantic Relationism’, I made use of a certain notion of what was semantically necessary, or required, in arguing that it might be a semantic requirement that two names Add to Reading List Source URL: www.jimpryor.net Language: English - Date: 2012-12-08 09:43:22 Analytic philosophy Philosophy of language Meaning Philosophical logic Mathematical logic Sense and reference Truth Predicate Proposition Logic Philosophy Semantics
557	Stabilizing alethic pluralism∗ Nikolaj Jang Pedersen Abstract Alethic pluralism is the view that the nature of truth is not uniform across domains. There are several ways of being true (T1[removed]Tn ). A simple argument Add to Reading List Source URL: www.nikolajpedersen.com Language: English - Date: 2010-02-17 05:11:07 Metaphysics Mathematical logic Propositional calculus Ontology Predicate logic Predicate Truth Proposition Property Logic Theories of truth Philosophy
558	Chapter 9 Credentials-based Authorization A set can be defined intensionally by specifying properties required of all its members or it can be defined extensionally by enumerating its elements. For Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 2014-05-05 21:49:30 Propositional calculus Predicate logic First-order logic Sequent Universal quantification Rule of inference Substitution Existential quantification Sequent calculus Logic Mathematical logic Quantification
559	Coreference Based Event-Argument Relation Extraction on Biomedical Text Katsumasa Yoshikawa Sebastian Riedel Tsutomu Hirao NAIST, Japan Add to Reading List Source URL: ceur-ws.org Language: English - Date: 2011-04-17 16:11:22 Semantics Artificial intelligence Natural language processing Computational linguistics Coreference Predicate logic Information extraction Antecedent Support vector machine Linguistics Syntax Science
560	Formalizations Of Substitution Of Equals For Equals David Gries and Fred B. Schneider y Computer Science Department, Cornell University Ithaca, New York[removed]USA May 27, 1998 Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 2013-05-31 13:45:56 Propositional calculus Predicate logic Model theory Quantification First-order logic Function Generalization Universal quantification Modal logic Logic Mathematical logic Mathematics

UPDATE